Lindley, Sam: шукати на сайті Z-Library

Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

Найбільша колекція наукових статей у сіті. 70,000,000+ безкоштовних статей.

Пожертвування 15 вересня 2024 – 1 жовтня 2024

Z-Library - одна з найбільших онлайн-бібліотек у світі, в якій зберігається більше 17,000,000 книг та 84,837,000 статей. Ми намагаємось зробити літературу доступною кожному. Сьогодні (15 вересня 2024) ми відкриваємо додатковий збір пожертвувань на підтримку та розвиток проекту.

Також БЕЗЛІМТНІ завантаження (протягом 31 дня після завершення пожертвування) доступні для ВСІХ користувачів, які підтримають проект в період збору коштів до 1 жовтня 2024.

Про збір коштів Детальніше

Підтримати

Книги
Статті (36)
Найпопулярніші
Перелік
- Перелік
- Таблиця

1

Effects of a six-week weighted-implement throwing program on baseball pitching velocity, kinematics, arm stress, and arm range of motion

Marsh, Joseph A., Wagshol, Matthew I., Boddy, Kyle J., O’Connell, Michael E., Briend, Sam J., Lindley, Kyle E., Caravan, Alex

Журнал:

Рік:

2018

Мова:

english

Файл:

PDF, 951 KB

english, 2018

2

Idioms are Oblivious, Arrows are Meticulous, Monads are Promiscuous

Sam Lindley, Philip Wadler, Jeremy Yallop

Журнал:

Electronic Notes in Theoretical Computer Science

Рік:

2011

Мова:

english

Файл:

PDF, 259 KB

english, 2011

3

[Lecture Notes in Computer Science] A List of Successes That Can Change the World Volume 9600 ||

Lindley, Sam, McBride, Conor, Trinder, Phil, Sannella, Don

Рік:

2016

Мова:

english

Файл:

PDF, 20.70 MB

english, 2016

4

The arrow calculus

LINDLEY, SAM, WADLER, PHILIP, YALLOP, JEREMY

Журнал:

Journal of Functional Programming

Рік:

2010

Мова:

english

Файл:

PDF, 404 KB

english, 2010

5

[Lecture Notes in Computer Science] A List of Successes That Can Change the World Volume 9600 || The Lambda Calculus: Practice and Principle

Lindley, Sam, McBride, Conor, Trinder, Phil, Sannella, Don

Рік:

2016

Мова:

english

Файл:

PDF, 7.57 MB

english, 2016

6

Do be do be do

Lindley, Sam, McBride, Conor, McLaughlin, Craig

Журнал:

ACM SIGPLAN Notices

Рік:

2017

Мова:

english

Файл:

PDF, 466 KB

english, 2017

7

Effect handlers via generalised continuations

HILLERSTRÃM, DANIEL, LINDLEY, SAM, ATKEY, ROBERT

Журнал:

Journal of Functional Programming

Рік:

2020

Мова:

english

Файл:

PDF, 2.05 MB

english, 2020

8

Doo bee doo bee doo

CONVENT, LUKAS, LINDLEY, SAM, MCBRIDE, CONOR, MCLAUGHLIN, CRAIG

Журнал:

Journal of Functional Programming

Рік:

2020

Файл:

PDF, 1.64 MB

2020

9

[ACM Press the ACM SIGPLAN 2014 Workshop - San Diego, California, USA (2014.01.20-2014.01.21)] Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation - PEPM '14 - Effective quotation

Cheney, James, Lindley, Sam, Radanne, Gabriel, Wadler, Philip

Рік:

2014

Мова:

english

Файл:

PDF, 830 KB

english, 2014

10

A practical theory of language-integrated query

Cheney, James, Lindley, Sam, Wadler, Philip

Журнал:

ACM SIGPLAN Notices

Рік:

2013

Мова:

english

Файл:

PDF, 612 KB

english, 2013

11

The database Wiki project

Buneman, Peter, Cheney, James, Lindley, Sam, Mueller, Heiko

Журнал:

ACM SIGMOD Record

Рік:

2011

Мова:

english

Файл:

PDF, 368 KB

english, 2011

12

[ACM Press the 8th ACM SIGPLAN workshop - Philadelphia, Pennsylvania, USA (2012.01.28-2012.01.28)] Proceedings of the 8th ACM SIGPLAN workshop on Types in language design and implementation - TLDI '12 - Row-based effect types for database integration

Lindley, Sam, Cheney, James

Рік:

2012

Мова:

english

Файл:

PDF, 666 KB

english, 2012

13

[ACM Press the 8th ACM SIGPLAN workshop - Copenhagen, Denmark (2012.09.12-2012.09.12)] Proceedings of the 8th ACM SIGPLAN workshop on Generic programming - WGP '12 - Embedding F

Рік:

2012

Мова:

english

Файл:

PDF, 498 KB

english, 2012

14

[ACM Press the 18th ACM SIGPLAN international conference - Boston, Massachusetts, USA (2013.09.25-2013.09.27)] Proceedings of the 18th ACM SIGPLAN international conference on Functional programming - ICFP '13 - A practical theory of language-integrated query

Cheney, James, Lindley, Sam, Wadler, Philip

Рік:

2013

Мова:

english

Файл:

PDF, 612 KB

english, 2013

15

[ACM Press the 10th ACM SIGPLAN workshop - Gothenburg, Sweden (2014.08.31-2014.08.31)] Proceedings of the 10th ACM SIGPLAN workshop on Generic programming - WGP '14 - Algebraic effects and effect handlers for idioms and arrows

Рік:

2014

Мова:

english

Файл:

PDF, 588 KB

english, 2014

16

[ACM Press the 2013 ACM SIGPLAN symposium - Boston, Massachusetts, USA (2013.09.23-2013.09.24)] Proceedings of the 2013 ACM SIGPLAN symposium on Haskell - Haskell '13 - Hasochism

Lindley, Sam, McBride, Conor

Рік:

2013

Мова:

english

Файл:

PDF, 650 KB

english, 2013

17

[ACM Press the 2014 ACM SIGMOD international conference - Snowbird, Utah, USA (2014.06.22-2014.06.27)] Proceedings of the 2014 ACM SIGMOD international conference on Management of data - SIGMOD '14 - Query shredding

Cheney, James, Lindley, Sam, Wadler, Philip

Рік:

2014

Мова:

english

Файл:

PDF, 1.17 MB

english, 2014

18

[ACM Press the 2007 workshop - Nice, France (2007.01.16-2007.01.16)] Proceedings of the 2007 workshop on Declarative aspects of multicore architectures - DAMP '07 - Implementing deterministic declarative concurrency using sieves

Рік:

2007

Мова:

english

Файл:

PDF, 151 KB

english, 2007

19

[ACM Press the 18th ACM SIGPLAN international conference - Boston, Massachusetts, USA (2013.09.25-2013.09.27)] Proceedings of the 18th ACM SIGPLAN international conference on Functional programming - ICFP '13 - Handlers in action

Kammar, Ohad, Lindley, Sam, Oury, Nicolas

Рік:

2013

Мова:

english

Файл:

PDF, 789 KB

english, 2013

20

[ACM Press the 21st international conference - Lyon, France (2012.04.16-2012.04.20)] Proceedings of the 21st international conference on World Wide Web - WWW '12 - "It's simply integral to what I do"

Lindley, Siân E., Meek, Sam, Sellen, Abigail, Harper, Richard

Рік:

2012

Мова:

english

Файл:

PDF, 626 KB

english, 2012

21

[Lecture Notes in Computer Science] A List of Successes That Can Change the World Volume 9600 || The Essence of Multi-stage Evaluation in LMS

Lindley, Sam, McBride, Conor, Trinder, Phil, Sannella, Don

Рік:

2016

Мова:

english

Файл:

PDF, 332 KB

english, 2016

22

[Lecture Notes in Computer Science] A List of Successes That Can Change the World Volume 9600 || Dragging Proofs Out of Pictures

Lindley, Sam, McBride, Conor, Trinder, Phil, Sannella, Don

Рік:

2016

Мова:

english

Файл:

PDF, 1.42 MB

english, 2016

23

[Lecture Notes in Computer Science] A List of Successes That Can Change the World Volume 9600 || Linear $$ \lambda \mu $$ is $$ \textsc {CP} $$ (more or less)

Lindley, Sam, McBride, Conor, Trinder, Phil, Sannella, Don

Рік:

2016

Мова:

english

Файл:

PDF, 767 KB

english, 2016

24

[Lecture Notes in Computer Science] A List of Successes That Can Change the World Volume 9600 || The Essence of Dependent Object Types

Lindley, Sam, McBride, Conor, Trinder, Phil, Sannella, Don

Рік:

2016

Мова:

english

Файл:

PDF, 651 KB

english, 2016

25

[Lecture Notes in Computer Science] A List of Successes That Can Change the World Volume 9600 || 1ML with Special Effects

Lindley, Sam, McBride, Conor, Trinder, Phil, Sannella, Don

Рік:

2016

Мова:

english

Файл:

PDF, 651 KB

english, 2016

26

[Lecture Notes in Computer Science] A List of Successes That Can Change the World Volume 9600 || Counting Successes: Effects and Transformations for Non-deterministic Programs

Lindley, Sam, McBride, Conor, Trinder, Phil, Sannella, Don

Рік:

2016

Мова:

english

Файл:

PDF, 517 KB

english, 2016

27

[Lecture Notes in Computer Science] A List of Successes That Can Change the World Volume 9600 || Proof-Relevant Parametricity

Lindley, Sam, McBride, Conor, Trinder, Phil, Sannella, Don

Рік:

2016

Мова:

english

Файл:

PDF, 485 KB

english, 2016

28

Handlers in action

Kammar, Ohad, Lindley, Sam, Oury, Nicolas

Журнал:

ACM SIGPLAN Notices

Рік:

2013

Мова:

english

Файл:

PDF, 789 KB

english, 2013

29

[ACM Press the 9th International Symposium - Nara, Japan (2016.09.22-2016.09.23)] Proceedings of the 9th International Symposium on Haskell - Haskell 2016 - Embedding session types in Haskell

Lindley, Sam, Morris, J. Garrett

Рік:

2016

Мова:

english

Файл:

PDF, 431 KB

english, 2016

30

[ACM Press the 2016 ACM SIGPLAN Workshop - St. Petersburg, FL, USA (2016.01.18-2016.01.19)] Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation - PEPM 2016 - Everything old is new again: quoted domain-specific languages

Najd, Shayan, Lindley, Sam, Svenningsson, Josef, Wadler, Philip

Рік:

2016

Мова:

english

Файл:

PDF, 347 KB

english, 2016

31

[ACM Press the 2nd ACM SIGPLAN symposium - Edinburgh, Scotland (2009.09.03-2009.09.03)] Proceedings of the 2nd ACM SIGPLAN symposium on Haskell - Haskell '09 - Unembedding domain-specific languages

Atkey, Robert, Lindley, Sam, Yallop, Jeremy

Рік:

2009

Мова:

english

Файл:

PDF, 390 KB

english, 2009

32

[ACM Press the 1st International Workshop - Nara, Japan (2016.09.18-2016.09.18)] Proceedings of the 1st International Workshop on Type-Driven Development - TyDe 2016 - Liberating effects with rows and handlers

Hillerström, Daniel, Lindley, Sam

Рік:

2016

Мова:

english

Файл:

PDF, 385 KB

english, 2016

33

Exceptional asynchronous session types: session types without tiers

Fowler, Simon, Lindley, Sam, Morris, J. Garrett, Decova, Sára

Журнал:

Proceedings of the ACM on Programming Languages

Рік:

2019

Мова:

english

Файл:

PDF, 477 KB

english, 2019

34

Effects of a six-week weighted-implement throwing program on baseball pitching velocity, kinematics, arm stress, and arm range of motion

Marsh, Joseph A., Wagshol, Matthew I., Boddy, Kyle J., O’Connell, Michael E., Briend, Sam J., Lindley, Kyle E., Caravan, Alex

Журнал:

Рік:

2018

Файл:

PDF, 951 KB

2018

35

On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control

Forster, Yannick, Kammar, Ohad, Lindley, Sam, Pretnar, Matija

Журнал:

Proceedings of the ACM on Programming Languages

Рік:

2017

Мова:

english

Файл:

PDF, 434 KB

english, 2017

36

A polymorphic RPC calculus

Choi, Kwanghoon, Cheney, James, Fowler, Simon, Lindley, Sam

Журнал:

Science of Computer Programming

Рік:

2020

Файл:

PDF, 681 KB

2020